Reiner Kümmel's Documents

Reiner Kümmel's Documents

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Read more
Handbook of Financial Markets: Dynamics and Evolution

Handbook of Financial Markets: Dynamics and Evolution
Read more
Cold Smoked

Cold Smoked
Read more
Faking Literature

Faking Literature
Read more
Cold Smoked

Cold Smoked
Read more
Lectures on low-dimensional topology

Lectures on low-dimensional topology
Read more
Advances in Carpet manufacture

Advances in Carpet manufacture
Read more
Tourism and Travel Industry

Tourism and Travel Industry
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)

Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)
Read more
Field Programmable Logic and Applications: 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings

Field Programmable Logic and Applications: 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Handbook of Financial Markets: Dynamics and Evolution

Handbook of Financial Markets: Dynamics and Evolution
Read more
Bisphosphonat-Manual: Wirkungen - Indikationen - Strategien

Bisphosphonat-Manual: Wirkungen - Indikationen - Strategien
Read more
Theoretische Physik 1. Theoretische Mechanik

Theoretische Physik 1. Theoretische Mechanik
Read more
Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95

Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95
Read more
Theoretische Physik 1: Theoretische Mechanik, 2. Auflage

Theoretische Physik 1: Theoretische Mechanik, 2. Auflage
Read more
Auditing, Trust and Governance: Developing Regulation in Europe

Auditing, Trust and Governance: Developing Regulation in Europe
Read more
Is the Death Penalty Dying?: European and American Perspectives

Is the Death Penalty Dying?: European and American Perspectives
Read more
Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)

Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)
Read more
Quality Assurance of Agent-Based and Self-Managed Systems

Quality Assurance of Agent-Based and Self-Managed Systems
Read more
Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)

Theoretische Physik 2: Elektrodynamik und spezielle Relativitätstheorie (Springer-Lehrbuch)
Read more
Foundations for a disequilibrium theory of the business cycle: qualitative analysis and quantitative assessment

Foundations for a disequilibrium theory of the business cycle: qualitative analysis and quantitative assessment
Read more
Theoretische Physik 1. Theoretische Mechanik

Theoretische Physik 1. Theoretische Mechanik
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Theoretische Physik 3: Quantenmechanik 1

Theoretische Physik 3: Quantenmechanik 1
Read more
Proteomics in Practice: A Guide to Successful Experimental Design

Proteomics in Practice: A Guide to Successful Experimental Design
Read more
Neutron physics

Neutron physics
Read more
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Read more
Positive Definite Kernels Continuous Tensor Products and Central Limit Theorems of Probability Theory

Positive Definite Kernels Continuous Tensor Products and Central Limit Theorems of Probability Theory
Read more